converting string to integer in Python